#pragma once

#include <gofcl_timer_num.h>

static inline void timer_set_current_count(timer_qe timer_q, u32_s count) {
	timer_wreg_cnt(timer_q, count);
}

static inline u32_s timer_get_current_count(timer_qe timer_q) {
	return timer_rreg_cnt(timer_q);
}

static inline void timer_set_prescale(timer_qe timer_q, u32_s prescale) {
	timer_wreg_psc(timer_q, prescale);
}

static inline void timer_set_auto_reload_num(timer_qe timer_q, u32_s num) {
	timer_wreg_car(timer_q, num);
}
